]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0309d9) | patch
popupMenu: Close when a system modal pops up
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 6 Dec 2019 17:07:35 +0000 (18:07 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 6 Dec 2019 19:26:01 +0000 (20:26 +0100)
commitccd8b47d3024dc79535e6b484d5b5284c901fdc3
treedb66b36a1219818ce8328981047f519ce841ed7dtree | snapshot
parentc0309d973268920eb9740bbdca3afc894bd5204fcommit | diff
popupMenu: Close when a system modal pops up

Just like switcher popups, popup menus don't play well together with
system modals, and generally have a lower priority. So just like
switcher popups, close popup menus when a system modal dialog pops
up.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1536
js/ui/popupMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.